W. Edmund Clark : rechercher sur Z-Library

Libre accès à la connaissance et à la culture.

Don't use scam websites

Livres (28)
Les plus populaires
Liste
- Liste
- Tableau

1

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Année:

1999

Langue:

english

Fichier:

DJVU, 1.88 MB

0 / 0

english, 1999

2

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Année:

2018

Langue:

english

Fichier:

EPUB, 15.52 MB

0 / 5.0

english, 2018

3

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Année:

2018

Langue:

english

Fichier:

EPUB, 13.56 MB

0 / 0

english, 2018

4

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 41.36 MB

0 / 0

english, 2008

5

Understanding Corporate Pension Plans

Understanding Corporate Pension Plans

The Financial Analysts Research Foundation (Research Foundation of CFA Institute)

Edmund A. Mennis, Chester D. Clark

Année:

1983

Langue:

english

Fichier:

PDF, 2.69 MB

0 / 0

english, 1983

6

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Année:

1999

Langue:

english

Fichier:

DJVU, 3.22 MB

0 / 0

english, 1999

7

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Année:

1999

Langue:

english

Fichier:

DJVU, 2.13 MB

0 / 0

english, 1999

8

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 2.61 MB

0 / 0

english, 2002

9

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke, Paolo Zuliani (auth.), Tevfik Bultan, Pao-Ann Hsiung (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 6.99 MB

0 / 0

english, 2011

10

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)

Année:

1996

Langue:

english

Fichier:

PDF, 10.56 MB

0 / 0

english, 1996

11

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Robert Valette (eds.)

Année:

1994

Langue:

english

Fichier:

DJVU, 5.98 MB

0 / 0

english, 1994

12

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)

Année:

1991

Langue:

english

Fichier:

DJVU, 3.97 MB

0 / 0

english, 1991

13

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 5.03 MB

0 / 0

english, 1996

14

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 3.46 MB

0 / 0

english, 2002

15

Artists/Hawaii

Artists/Hawaii

University of Hawaii Press

Joan Clarke (editor), Diane Dods (editor), Dana Edmunds (editor)

Année:

2022

Langue:

english

Fichier:

PDF, 77.79 MB

0 / 0

english, 2022

16

Socialist Development and Public Investment in Tanzania, 1964-73

Socialist Development and Public Investment in Tanzania, 1964-73

University of Toronto Press

W. Edmund Clark

Année:

1978

Langue:

english

Fichier:

PDF, 14.23 MB

0 / 0

english, 1978

17

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)

Année:

2018

Langue:

english

Fichier:

PDF, 10.90 MB

5.0 / 5.0

english, 2018

18

Handbook of model checking

Handbook of model checking

Springer International Publishing

Bloem, Roderick, Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut et al. (eds.)

Année:

2018

Langue:

english

Fichier:

PDF, 7.97 MB

0 / 0

english, 2018

19

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke, Andrei Voronkov

Année:

2011

Langue:

english

Fichier:

PDF, 6.40 MB

0 / 0

english, 2011

20

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 2.27 MB

0 / 0

english, 2012

21

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Springer Netherlands

Edmund M. Clarke, Flavio Lerda (auth.), Chairman S. Ramesh, Prahladavaradan Sampath (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 6.49 MB

0 / 0

english, 2007

22

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 5.38 MB

0 / 0

english, 2010

23

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Année:

2008

Langue:

english

Fichier:

DJVU, 4.00 MB

0 / 0

english, 2008

24

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Franz Baader (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 5.72 MB

0 / 0

english, 2003

25

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Année:

1984

Langue:

english

Fichier:

DJVU, 5.98 MB

0 / 0

english, 1984

26

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 5.51 MB

0 / 0

english, 2012

27

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 8.19 MB

0 / 0

english, 2010

28

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Année:

1984

Langue:

english

Fichier:

PDF, 14.67 MB

0 / 0

english, 1984